We prove that if an n-element algebra generates the variety \ which is actively structurally complete, then the cardinality of the carrier of each subdirectly irreducible algebra in \ is at most \\cdot n^{2\cdot n}}\). As a consequence, with the use of known results, we show that there exist algorithms deciding whether a given finite algebra \ generates the structurally complete variety \\) in the cases when \\) is congruence modular or \\) is congruence meet-semidistributive or \ is a semigroup.

We provide a new proof of the following Pałasińska's theorem: Every finitely generated protoalgebraic relation distributive equality free quasivariety is finitely axiomatizable. The main tool we use are ${\mathcal{Q}}$ Q -relation formulas for a protoalgebraic equality free quasivariety ${\mathcal{Q}}$ Q . They are the counterparts of the congruence formulas used for describing the generation of congruences in algebras. Having this tool in hand, we prove a finite axiomatization theorem for ${\mathcal{Q}}$ Q when it has definable principal ${\mathcal{Q}}$ Q -subrelations. This (...) is a property obtained by carrying over the definability of principal subcongruences, invented by Baker and Wang for varieties, and which holds for finitely generated protoalgebraic relation distributive equality free quasivarieties. (shrink)

We provide simple algebraic proofs of two important facts, due to Zakharyaschev and Esakia, about Grzegorczyk algebras.